Dresden University - PDFSEARCH.IO - Document Search Engine

Dresden University
Results: 265

#	Item
231	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
232	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
233	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
234	Viscous Expectations: Justice, Vulnerability, The Ob-scene Cara Judea Alhadeff, Ph.D. Atropos Press, Dresden / New York Pennsylvania State University Press http://www.atropospress.com/ Add to Reading List Source URL: www.carajudea.com Language: English - Date: 2014-03-06 12:20:41 Aesthetics Cara Judea Alhadeff Yogis European Graduate School
235	The preliminary design of a wearable computer for supporting Construction Progress Monitoring Jan Reinhardt, TU - Dresden Prof. James H. Garrett,Jr., Carnegie Mellon University Prof. Raimar J. Scherer, TU - Dresden Add to Reading List Source URL: www.ce.cmu.edu Language: English - Date: 2002-02-05 13:53:34 Classes of computers Computational linguistics Information appliances User interface techniques Ambient intelligence Wearable computer Speech recognition Microsoft Speech API Database Computing Mobile computers Humanâ€“computer interaction
236	Microsoft PowerPoint - Klingeler_CARBIO_Paris_June_12_2007_for_pdf.ppt Add to Reading List Source URL: www.carbio.eu Language: English - Date: 2007-07-04 13:51:54 Carbon nanotube Leibniz-Institut für Festkörper- und Werkstoffforschung Nobel laureates in Physics Radioactivity Marie Curie Dresden University of Technology Science Physics Chemistry
237	ERASMUS MUNDUS EXTERNAL COOPERATION WINDOW (EM ECW) PROJECT FACT SHEET TITLE of the project Contract: [removed]EM[removed]DE-ERAMUNDUS-ECW-L04 Lot 4 (Russian Federation) Call for Proposals: EACE[removed]EM ECW 2nd Call fo Add to Reading List Source URL: eacea.ec.europa.eu Language: English - Date: 2008-07-15 05:56:06 Knowledge Academic transfer Erasmus Mundus Dresden University of Technology Erasmus Programme Dresden Tomsk Educational policies and initiatives of the European Union Education Academia
238	Representation and Reasoning Description Logics Markus Krötzsch, Dresden University of Technology František Simancˇík, Google Ian Horrocks, Oxford University Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-05-15 03:47:19 Science Data Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Tbox Abox Ontology Information Semantic Web
239	programm_nanofair2014_Layout[removed]:31 Seite 1 10th INTERNATIONAL NANOTECHNOLOGY SYMPOSIUM - NEW IDEAS FOR INDUSTRY - Program Add to Reading List Source URL: www.nanofair.com Language: English - Date: 2014-06-27 12:35:35 Fraunhofer Society Laboratories Dresden University of Technology Dresden Institute of technology Nanomaterials Gianaurelio Cuniberti Nanoparticle Education Academia Knowledge
240	Budapester Str. 61, 01069 Dresden, Tel.: [removed], www.ehu-verein.de, [removed] Spring Academy 2014: Exploring Transformations hosted by the Add to Reading List Source URL: ehu-verein.de Language: English - Date: 2014-04-17 04:08:40 Vilnius University Vilnius Counties of Lithuania European Humanities University Geography of Europe Europe

UPDATE